Der Pledge-Algorithmus: Wie man im Dunkeln aus einem Labyrinth entkommt
نویسندگان
چکیده
“Oh weh nun ist das Licht aus! Wie komme ich jetzt bloß hier heraus? War vielleicht doch keine gute Idee, allein in das Tunnelsystem unter den Kaiserthermen einzusteigen. Halt! Da war doch neulich was im Internet, wie man aus einem Labyrinth entkommt: Tiefensuche. Aber dazu brauchte man Licht und Kreide für Markierungen. Geht also nicht, bei dieser Finsternis. Muß ich etwa die Nacht hier verbringen?”
منابع مشابه
Automatische Erzeugung von XML-DTDs aus konzeptionellen Datenbankschemata
Zusammenfassung: Ziel dieses Artikels ist es, einen Algorithmus zu entwickeln, der die automatische Erzeugung von Beschreibungen für XML-Dokumentstrukturen erleichtert. Spezifischer wird dargestellt, wie man eine DTD (document type definition) aus einem konzeptionellen Datenmodell ableiten kann. Ein wichtiges Ziel dieser Übersetzung ist die adäquate Übertragung von Strukturinformationen aus dem...
متن کاملMIZAR verification of generic algebraic algorithms
Although generic programming founds more and more attention | nowadays generic programming languages as well as generic libraries exist | there are hardly approaches for the veri cation of generic algorithms or generic libraries. This thesis deals with generic algorithms in the eld of computer algebra. We propose theMizar system as a theorem prover capable of verifying generic algorithms on an ...
متن کاملEvolutionäre Algorithmen zur Performance-Modellierung von Unternehmensanwendungen
Ziel: Ziel dieser Dissertation ist die Untersuchung der Einsetzbarkeit von AntwortzeitKomponentenmodellen zur Performance-Vorhersage von Unternehmensanwendungen. Weiterhin wird untersucht, ob und wie gut sich Antwortzeit-Komponentenmodelle mittels evolutionärer Algorithmen aus Messdaten generieren lassen. Hierzu werden zwei Stränge verfolgt. Zum einen wird der Prototyp Mendel eines evolutionäre...
متن کاملExponentielle untere Schranken zur Lösung infinitärer Auszahlungsspiele und linearer Programme
Paritätsspiele bilden eine faszinierende Klasse infinitärer Auszahlungsspiele, deren Lösung äquivalent zur Lösung wichtiger Probleme der automatischen Verifikation und Automatentheorie ist. Sie bilden ferner eine sehr natürliche Unterklasse der Auszahlungsspiele, die selbst wiederum eine natürliche Teilklasse der stochastischen Auszahlungsspiele beschreiben. Aus theoretischer Sicht gehört das L...
متن کاملOptimierte Neuro-Fuzzy-Modelle für Auslegungsprozesse und Simulation im Automotive-Bereich (Improved Neuro-Fuzzy Models for Design Processes and Simulation in Automotive Applications)
Dieser Artikel beschreibt einen neuen iterativen Partitionierungsalgorithmus für lokale Neuro-Fuzzy-Modelle. Der Algorithmus zielt darauf ab, datenbasierte Modelle aus dünnbesetzten Eingangsräumen, wie sie im Automotive-Bereich häufig auftreten, zu generieren. Der Gültigkeitsbereich jedes lokalen Neuro-Fuzzy-Modells wird dabei unter Anwendung statistischer Kriterien und Regularisierung an die v...
متن کامل